$\forall$$i$:Id, $L$:Knd List, $x$:Id.
\\[0ex]@$i$: only members of $L$ read $x$ 
\\[0ex]realizes ${\it es}$.
\\[0ex]$\forall$$k$:Knd. hasloc($k$;$i$) $\Rightarrow$ $\neg$($k$ $\in$ $L$) $\Rightarrow$ es{-}independent(${\it es}$;$i$;$k$;$x$)